duplicating punch - German English Dictionary